" S. Feferman" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)

Автор: W. Buchholz, Автор: S. Feferman, Автор: W. Pohlers, Автор: W. Sieg

Категория: Образование

Размер книги: 11.87 Mb

Kurt Goedel: Essays for his Centennial

Автор: Feferman S., Автор: Parsons C., Автор: Simpson S.G. (eds.)

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

Размер книги: 1.48 Mb

Reports of the Midwest Category Seminar III

Автор: S. MacLane (Editor), Автор: M. Barr, Автор: P. Berthiaume, Автор: B. J. Day, Автор: J. Duskin, Автор: S. Feferman, Автор: G. M. Kelly, Автор: M. Tierney, Автор: R. F. C. Walters

Размер книги: 6.45 Mb

Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic, Volume 33)

Автор: Solomon Feferman, Автор: Charles Parsons, Автор: Stephen G. Simpson (eds)

Размер книги: 1.96 Mb

Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Автор: Feferman Solomon

Категория: fiction

Размер книги: 113 Kb

Feferman S. Chislovye sistemy (ru)(T)(449s).djvu

Автор:

Размер книги: 5.70 Mb

Feferman S. Chislovye sistemy (ru)(449s).djvu

Автор:

Размер книги: 4.31 Mb

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Автор: W. Buchholz, Автор: S. Feferman, Автор: W. Pohlers, Автор: W. Sieg

Размер книги: 2.62 Mb

Collected works. Publications 1929-1936

Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van Heijenoort

Категория: Mathematical logic

Размер книги: 4.26 Mb

Collected works. Publications 1938-1974

Автор: Kurt Gödel, Автор: S. Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: G. Moore, Автор: R. Solovay, Автор: the late Jean van Heijenoort

Категория: Mathematical logic

Размер книги: 3.42 Mb

Iterated Inductive Definitions and Subsystems of Analysis

Автор: W. Buchholz, Автор: S. Feferman, Автор: W. Pohlers, Автор: W. Sieg

Категория: Lecture notes

Размер книги: 2.47 Mb

1-Consistency and faithful interpretations

Автор: Feferman S., Автор: Kreisel G., Автор: Orey S.

Размер книги: 620 Kb

Model-theoretic logics

Автор: J. Barwise, Автор: S. Feferman, Автор: J. Baldwin

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

Размер книги: 7.46 Mb

Collected Works: Volume I: Publications 1929-1936

Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van Heijenoort

Категория: Математика

Размер книги: 26.18 Mb

Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)

Автор: Kurt Gödel, Автор: Solomon Feferman, Автор: John W. Dawson Jr., Автор: Stephen C. Kleene, Автор: Gregory H. Moore, Автор: Robert M. Solovay, Автор: Jean van Heijenoort

Размер книги: 13.27 Mb

Collected Works: Volume III: Unpublished essays and lectures (Godel, Kurt//Collected Works)

Автор: Kurt Gödel, Автор: S. Feferman (Editor-in-Chief), Автор: John W. Dawson Jr., Автор: Warren Goldfarb, Автор: Charles Parsons, Автор: R. Solovay

Размер книги: 4.74 Mb

Model-Theoretic Logics

Автор: J. Barwise, Автор: S. Feferman, Автор: J. Baldwin

Размер книги: 77.17 Mb

In the Light of Logic

Автор: Solomon Feferman

Категория: science_books, math

Размер книги: 20.89 Mb

Collected Works. - Unpublished essays and lectures

Автор: Kurt Gödel, Автор: S. Feferman (Editor-in-Chief), Автор: John W. Dawson Jr., Автор: Warren Goldfarb, Автор: Charles Parsons, Автор: R. Solovay

Категория: M_Mathematics, MW_Collected works

Размер книги: 4.67 Mb